import time 

t = (time.ctime()).split()

H = format(int(t[3][0] + t[3][1]), 'x')
M = format(int(t[3][3] + t[3][4]), 'x')
S = format(int(t[3][6] + t[3][7]), 'x')

hexline = str(H) + ':' + str(M) + ':' + str(S)
timeline = ''

for char in hexline:
    if char == 'a':
        timeline += 'A'
    elif char == 'b':
        timeline += 'B'
    elif char == 'c':
        timeline += 'C'
    elif char == 'd':
        timeline += 'D'
    elif char == 'e':
        timeline += 'E'
    elif char == 'f':
        timeline += 'F'
    else:
        timeline += char

print(timeline)
